6 research outputs found
A Software Interface Between the Narrative Language and Bio-PEPA
AbstractWe present a software tool for the automatic translation of models from the Narrative Language, a semi-formal language for biological modelling, into the Bio-PEPA process algebra. This provides biologists with an easy way to describe systems and at the same time gives them access to the simulation and analysis techniques provided by Bio-PEPA. We present details of the translation algorithm and its integration into existing software, and discuss ways in which this idea could be further explored
Statistical analysis of CARMA models: an advanced tutorial
CARMA (Collective Adaptive Resource-sharing Markovian Agents) is a process-algebra-based quantitative language developed for the modeling of collective adaptive systems. A CARMA model consists of an environment in which a collective of components with attribute stores interact via unicast and broadcast communication, providing a rich modeling formalism. The semantics of a CARMA model are given by a continuous-time Markov chain which can be simulated using the CARMA Eclipse Plug-in. Furthermore, statistical model checking can be applied to the trajectories generated through simulation using the MultiVeStA tool. This advanced tutorial will introduce some of the theory behind CARMA and MultiVeStA as well as demonstrate its application to collective adaptive system modeling
A subsystems approach for parameter estimation of ODE models of hybrid systems
We present a new method for parameter identification of ODE system
descriptions based on data measurements. Our method works by splitting the
system into a number of subsystems and working on each of them separately,
thereby being easily parallelisable, and can also deal with noise in the
observations.Comment: In Proceedings HSB 2012, arXiv:1208.315
Stochastic Modelling of the Kai-based Circadian Clock
We present two process algebra models of a Kai-protein based circadian clock. Our models are represented in the Bio-PEPA and the continuous pi-calculus process algebras. The circadian clock is not based on transcription and has been shown to persist with a rhythmic signal when removed from a living cell. Our models allow us to speculate as to the mechanisms which allow for the rhythmic signals. We reproduce previous results based on ODE models and then use our models as the basis for stochastic simulation. Keywords: Circadian, ODE, stochastic, temporal logic, Bio-PEPA, Continuous P
Unbiased Bayesian inference for population Markov jump processes via random truncations
We consider continuous time Markovian processes where populations of
individual agents interact stochastically according to kinetic rules. Despite
the increasing prominence of such models in fields ranging from biology to
smart cities, Bayesian inference for such systems remains challenging, as these
are continuous time, discrete state systems with potentially infinite
state-space. Here we propose a novel efficient algorithm for joint state /
parameter posterior sampling in population Markov Jump processes. We introduce
a class of pseudo-marginal sampling algorithms based on a random truncation
method which enables a principled treatment of infinite state spaces. Extensive
evaluation on a number of benchmark models shows that this approach achieves
considerable savings compared to state of the art methods, retaining accuracy
and fast convergence. We also present results on a synthetic biology data set
showing the potential for practical usefulness of our work